Utilitarianism is a consequentialist theory that assigns value impartially to the well-being of each person. Informed Altruism, introduced in this paper, is an intentionalist theory that relegates both consequentialism and impartiality to subordinate roles. It identifies morally right or commendable actions (including collective actions such as laws and policies) as those motivated by a sufficiently informed intention to benefit and not harm others. An implication of the theory is that multiple agents may perform incompatible actions and yet each be acting (...) rightly in a moral sense. (shrink)

It is a still-influential characteristic of liberal thought since Mill that it advances moral arguments for limiting the authority of a democratic majority. This article suggests several reasons for thinking that a numerical majority nevertheless has some, though not necessarily decisive, moral weight. At the core of these reasons is the principle that every individual citizen has equal moral standing, even when he or she belongs to a numerical majority.

This paper argues that "moral luck", understood as a susceptibility of moral desert to lucky or unlucky outcomes, does not exist. The argument turns on the claim that epistemic inquiry is an indissoluble part of moral responsibility, and that judgment on the moral decision making of others should and can adjust for this fact; test cases which aim to isolate moral dilemmas from epistemic consideration misrepresent our moral experience. If the phenomena believed by some philosophers to exemplify the need to (...) admit moral luck as part of their explanation are analysed in the light of this insight, the case for "moral luck" dissolves. (shrink)

Some retributivists claim that when we punish wrongdoers we achieve a good: justice. The paper argues that the idea of justice, though rhetorically freighted with positive value, contains only a small core of universally-agreed meaning; and its development in a variety of competing conceptions simply recapitulates, without resolving, debates within the theory of punishment. If, to break this deadlock, we stipulate an expressly retributivist conception of justice, then we should concede that punishment which is just (in the stipulated sense) may (...) be morally wrong. (shrink)

What constitutes a “good” life—not necessarily a morally good life, but a life that is good for the person who lived it? In response to this question of “well-being," philosophers have offered three significant answers: A good life is one in which a person can satisfy their desires (“Desire-Satisfaction” or “Preferentism”), one that includes certain good features (“Objectivism”), or one in which pleasurable states dominate or outweigh painful ones (“Hedonism”). To adjudicate among these competing theories, moral philosophers traditionally gather data (...) from thought experiments and intuition. In this chapter, we supplement that traditional approach with a pair of experimental studies that examine whether the three theories reflect laypeople’s intuitions about well-being. The empirical studies yield two primary findings. First, they provide evidence for lay "well-being pluralism": laypeople treat desire satisfaction, positive objective conditions, and happiness as all constitutive of well-being. Second, the studies provide evidence of "hedonic dominance": laypeople evaluate an individual’s happiness as more important to an individual’s overall well-being than desire satisfaction or objective conditions. (shrink)

The growth of self-tracking and personal surveillance has given rise to the Quantified Self movement. Members of this movement seek to enhance their personal well-being, productivity, and self-actualization through the tracking and gamification of personal data. The technologies that make this possible can also track and gamify aspects of our interpersonal, romantic relationships. Several authors have begun to challenge the ethical and normative implications of this development. In this article, we build upon this work to provide a detailed ethical analysis (...) of the Quantified Relationship. We identify eight core objections to the QR and subject them to critical scrutiny. We argue that although critics raise legitimate concerns, there are ways in which tracking technologies can be used to support and facilitate good relationships. We thus adopt a stance of cautious openness toward this technology and advocate the development of a research agenda for the positive use of QR technologies. (shrink)

In September 2015 a well-publicised Campaign Against Sex Robots (CASR) was launched. Modelled on the longer-standing Campaign to Stop Killer Robots, the CASR opposes the development of sex robots on the grounds that the technology is being developed with a particular model of female-male relations (the prostitute-john model) in mind, and that this will prove harmful in various ways. In this chapter, we consider carefully the merits of campaigning against such a technology. We make three main arguments. First, we (...) argue that the particular claims advanced by the CASR are unpersuasive, partly due to a lack of clarity about the campaign’s aims and partly due to substantive defects in the main ethical objections put forward by campaign’s founder(s). Second, broadening our inquiry beyond the arguments proferred by the campaign itself, we argue that it would be very difficult to endorse a general campaign against sex robots unless one embraced a highly conservative attitude towards the ethics of sex, which is likely to be unpalatable to those who are active in the campaign. In making this argument we draw upon lessons from the campaign against killer robots. Finally, we conclude by suggesting that although a generalised campaign against sex robots is unwarranted, there are legitimate concerns that one can raise about the development of sex robots. (shrink)

Although the last decade has seen a proliferation of ontological approaches to arguments, many of them employ ad hoc solutions to representing arguments, lack interoperability with other ontologies, or cover arguments only as part of a broader approach to evidence. To provide a better ontological representation of arguments, we present the Arguments Ontology (ArgO), a small ontology for arguments that is designed to be imported and easily extended by researchers who work in different upper-level ontology frameworks, different logics, and different (...) approaches to argument evaluation. Unlike most ontological approaches to arguments, ArgO utilizes Basic Formal Ontology (BFO) as an upper-level ontology, and may be used alongside other commonly used ontologies in the BFO framework, including boththe Information Artifact Ontology (IAO), and the Information Entity Ontology (INFO). Critically, our proposal is principled, based on rigorous definitions and formal axioms out of which characterizations of arguments naturally fall. It is our hope that ArgO may assist researchers in many projects, including: integrating heterogeneous sources of evidence, structuring the content of semantic wikis, and enhancing semantic reasoning. (shrink)

We show that someone who believes in both gunk and the possibility of supertasks has to give up either a plausible principle about where gunk can be located, or plausible conservation principles.

A very simple contextualist treatment of a sentence containing an epistemic modal, e.g. a might be F, is that it is true iff for all the contextually salient community knows, a is F. It is widely agreed that the simple theory will not work in some cases, but the counterexamples produced so far seem amenable to a more complicated contextualist theory. We argue, however, that no contextualist theory can capture the evaluations speakers naturally make of sentences containing epistemic modals. If (...) we want to respect these evaluations, our best option is a relativist theory of epistemic modals. On a relativist theory, an utterance of a might be F can be true relative to one context of evaluation and false relative to another. We argue that such a theory does better than any rival approach at capturing all the behaviour of epistemic modals. (shrink)

Ontologies, as the term is used in informatics, are structured vocabularies comprised of human- and computer-interpretable terms and relations that represent entities and relationships. Within informatics fields, ontologies play an important role in knowledge and data standardization, representation, integra- tion, sharing and analysis. They have also become a foundation of artificial intelligence (AI) research. In what follows, we outline the Coronavirus Infectious Disease Ontology (CIDO), which covers multiple areas in the domain of coronavirus diseases, including etiology, transmission, epidemiology, pathogenesis, diagnosis, (...) prevention, and treatment. We emphasize CIDO development relevant to COVID-19. (shrink)

How might emerging and future technologies—sex robots, love drugs, anti-love drugs, or algorithms to track, quantify, and ‘gamify’ romantic relationships—change how we understand and value love? We canvass some of the main ethical worries posed by such technologies, while also considering whether there are reasons for “cautious optimism” about their implications for our lives. Along the way, we touch on some key ideas from the philosophies of love and technology.

The current COVID-19 pandemic and the previous SARS/MERS outbreaks of 2003 and 2012 have resulted in a series of major global public health crises. We argue that in the interest of developing effective and safe vaccines and drugs and to better understand coronaviruses and associated disease mechenisms it is necessary to integrate the large and exponentially growing body of heterogeneous coronavirus data. Ontologies play an important role in standard-based knowledge and data representation, integration, sharing, and analysis. Accordingly, we initiated the (...) development of the community-based Coronavirus Infectious Disease Ontology in early 2020. -/- As an Open Biomedical Ontology (OBO) library ontology, CIDO is open source and interoperable with other existing OBO ontologies. CIDO is aligned with the Basic Formal Ontology and Viral Infectious Disease Ontology. CIDO has imported terms from over 30 OBO ontologies. For example, CIDO imports all SARS-CoV-2 protein terms from the Protein Ontology, COVID-19-related phenotype terms from the Human Phenotype Ontology, and over 100 COVID-19 terms for vaccines (both authorized and in clinical trial) from the Vaccine Ontology. CIDO systematically represents variants of SARS-CoV-2 viruses and over 300 amino acid substitutions therein, along with over 300 diagnostic kits and methods. CIDO also describes hundreds of host-coronavirus protein-protein interactions (PPIs) and the drugs that target proteins in these PPIs. CIDO has been used to model COVID-19 related phenomena in areas such as epidemiology. The scope of CIDO was evaluated by visual analysis supported by a summarization network method. CIDO has been used in various applications such as term standardization, inference, natural language processing (NLP) and clinical data integration. We have applied the amino acid variant knowledge present in CIDO to analyze differences between SARS-CoV-2 Delta and Omicron variants. CIDO's integrative host-coronavirus PPIs and drug-target knowledge has also been used to support drug repurposing for COVID-19 treatment. -/- CIDO represents entities and relations in the domain of coronavirus diseases with a special focus on COVID-19. It supports shared knowledge representation, data and metadata standardization and integration, and has been used in a range of applications. (shrink)

Current COVID-19 pandemic and previous SARS/MERS outbreaks have caused a series of major crises to global public health. We must integrate the large and exponentially growing amount of heterogeneous coronavirus data to better understand coronaviruses and associated disease mechanisms, in the interest of developing effective and safe vaccines and drugs. Ontologies have emerged to play an important role in standard knowledge and data representation, integration, sharing, and analysis. We have initiated the development of the community-based Coronavirus Infectious Disease Ontology (CIDO). (...) As an Open Biomedical Ontology (OBO) library ontology, CIDO is an open source and interoperable with other existing OBO ontologies. In this article, the general architecture and the design patterns of the CIDO are introduced, CIDO representation of coronaviruses, phenotypes, anti-coronavirus drugs and medical devices (e.g. ventilators) are illustrated, and an application of CIDO implemented to identify repurposable drug candidates for effective and safe COVID-19 treatment is presented. (shrink)

COVID-19 often manifests with different outcomes in different patients, highlighting the complexity of the host-pathogen interactions involved in manifestations of the disease at the molecular and cellular levels. In this paper, we propose a set of postulates and a framework for systematically understanding complex molecular host-pathogen interaction networks. Specifically, we first propose four host-pathogen interaction (HPI) postulates as the basis for understanding molecular and cellular host-pathogen interactions and their relations to disease outcomes. These four postulates cover the evolutionary dispositions involved (...) in HPIs, the dynamic nature of HPI outcomes, roles that HPI components may occupy leading to such outcomes, and HPI checkpoints that are critical for specific disease outcomes. Based on these postulates, an HPI Postulate and Ontology (HPIPO) framework is proposed to apply interoperable ontologies to systematically model and represent various granular details and knowledge within the scope of the HPI postulates, in a way that will support AI-ready data standardization, sharing, integration, and analysis. As a demonstration, the HPI postulates and the HPIPO framework were applied to study COVID-19 with the Coronavirus Infectious Disease Ontology (CIDO), leading to a novel approach to rational design of drug/vaccine cocktails aimed at interrupting processes occurring at critical host-coronavirus interaction checkpoints. Furthermore, the host-coronavirus protein-protein interactions (PPIs) relevant to COVID-19 were predicted and evaluated based on prior knowledge of curated PPIs and domain-domain interactions, and how such studies can be further explored with the HPI postulates and the HPIPO framework is discussed. (shrink)

Individualists about social ontology hold that social facts are “built out of” facts about individuals. In this paper, I argue that there are two distinct kinds of individualism about social ontology, two different ways individual people might be the metaphysical “builders” of the social world. The familiar kind is ontological individualism. This is the thesis that social facts supervene on, or are exhaustively grounded by, facts about individual people. What I call anchor individualism is the alternative thesis that facts about (...) individuals put in place the conditions for a social entity to exist, or the conditions for something to have a social property. Examples include conventionalist theories of the social world, such as David Hume’s theories of promises, money, and government, and collective acceptance theories, such as John Searle’s theory of institutional facts. Anchor individualism is often conflated with ontological individualism. But in fact, the two theses are in tension with one another: if one of these kinds of individualism is true, then the other is very unlikely to be. My aim in this paper is to clarify both, and argue that they should be sharply distinguished from one another. (shrink)

John Burgess has recently argued that Timothy Williamson’s attempts to avoid the objection that his theory of vagueness is based on an untenable metaphysics of content are unsuccessful. Burgess’s arguments are important, and largely correct, but there is a mistake in the discussion of one of the key examples. In this note I provide some alternative examples and use them to repair the mistaken section of the argument.

If we add as an extra premise that the agent does know H, then it is possible for her to know E — H, we get the conclusion that the agent does not really know H. But even without that closure premise, or something like it, the conclusion seems quite dramatic. One possible response to the argument, floated by both Descartes and Hume, is to accept the conclusion and embrace scepticism. We cannot know anything that goes beyond our evidence, so (...) we do not know very much at all. This is a remarkably sceptical conclusion, so we should resist it if at all possible. A more modern response, associated with externalists like John McDowell and Timothy Williamson, is to accept the conclusion but deny it is as sceptical as it first appears. The Humean argument, even if it works, only shows that our evidence and our knowledge are more closely linked than we might have thought. Perhaps that’s true because we have a lot of evidence, not because we have very little knowledge. There’s something right about this response I think. We have more evidence than Descartes or Hume thought we had. But I think we still need the idea of ampliative knowledge. It stretches the concept of evidence to breaking point to suggest that all of our knowledge, including knowledge about the future, is part of our evidence. So the conclusion really is unacceptable. Or, at least, I think we should try to see what an epistemology that rejects the conclusion looks like. (shrink)

Humeanism is “the thesis that the whole truth about a world like ours supervenes on the spatiotemporal distribution of local qualities.” (Lewis, 1994, 473) Since the whole truth about our world contains truths about causation, causation must be located in the mosaic of local qualities that the Humean says constitute the whole truth about the world. The most natural ways to do this involve causation being in some sense extrinsic. To take the simplest possible Humean analysis, we might say that (...) c causes e iff throughout the mosaic events of the same type as c are usually followed by events of type e. For short, the causal relation is the constant conjunction relation. Whether this obtains is determined by the mosaic, so this is a Humean theory, but it isn’t determined just by c and e themselves, so whether c causes e is extrinsic to the pair. Now this is obviously a bad theory of causation, but the fact that causation is extrinsic is retained even by good Humean theories of causation. John Hawthorne (2004) objects to this feature of Humeanism. I’m going to argue that his arguments don’t work, but first we need to clear up three preliminaries about causation and intrinsicness. (shrink)

The similarities between the philosophical debates surrounding assessment sensitivity and moral luck run so deep that one can easily adapt almost any argument from one debate, change some terms, adapt the examples, and end up with an argument relevant to the other. This article takes Brian Rosebury's strategy for resisting moral luck in “Moral Responsibility and ‘Moral Luck' ” (1995) and turns it into a strategy for resisting assessment sensitivity. The article shows that one of Bernard Williams's examples (...) motivating moral luck is very similar to one of the examples John MacFarlane uses to motivate the assessment sensitivity of epistemic modals, and in particular the assessment sensitivity of the auxiliary verb “might.” This means that, if Rosebury is right and we do not actually need moral luck to explain Williams's example, we may not need assessment sensitivity to account for the semantic behaviour of the epistemic modal verb “might” either. (shrink)

Is knowledge justified true belief? Most philosophers believe that the answer is clearly ‘no’, as demonstrated by Gettier cases. But Gettier cases don’t obviously refute the traditional view that knowledge is justified true belief (JTB). There are ways of resisting Gettier cases, at least one of which is partly successful. Nevertheless, when properly understood, Gettier cases point to a flaw in JTB, though it takes some work to appreciate just what it is. The nature of the flaw helps us better (...) understand the nature of knowledge and epistemic justification. I propose a crucial improvement to the traditional view, relying on an intuitive and independently plausible metaphysical distinction pertaining to the manifestation of intellectual powers, which supplements the traditional components of justification, truth and belief. (shrink)

In this chapter, we attempt to show that J.P. Moreland's understanding of apologetics is beautifully positioned to counter resistance to a rationally defensible Christianity—resistance arising from the mistaken idea that any rational defense will fail to support or even undermine relationship. We look first at Paul Moser's complaint that since rational apologetics doesn’t prove the God of Christianity, it falls short of delivering what matters most—a personal agent worthy of worship and relationship. We then consider John Wilkinson's charge that (...) the use of reason and argument in evangelistic contexts is relationally futile. Since people aren’t looking for arguments, and logic is an arbitrary human invention, we should present Christianity to others as an irrational faith story. (shrink)

Theological anthropology has tended to view human flourishing as consisting in the loving communion of ourselveswith God. Recently, Natalia Marandiuc has brought the tools of attachment theory to theological anthropology to argue that a self is not inherent to human persons but rather is co-created through our loving relationships with one another and with God. In this paper I argue for the introduction of narrative, particularly as understood through the work of Eleonore Stump, to Marandiuc’s account as a practical means (...) by which healing love might be communicated, particularly through Scriptural narratives. In evidence of narrative’s usefulness, I offer a brief exegesis of the Gospel of John’s account of the Woman at the well. This synthesis fills a gap in our understanding of the self’s flourishing by not only adopting a model demonstrating its emergence but also by providing a method by which the model can be applied. (shrink)

Imaginative resistance (IR) is rejecting a claim that is true within a fictional world. Accounts that describe IR hold that readers exit a fiction at points of resistance. But if resistance entails exiting a fiction, then learning morality from fiction doesn’t occur. But moral learning from fiction does occur; some such cases are instances of accepting a norm one first denied. I amend current solutions to IR with poetic license. The more poetic license granted a work, the more flexible one (...) is regarding perceived falsehoods. Instead of exiting the fiction, one has the chance to stay engaged and possibly learn norms she previously denied. (shrink)

In recent analytic literature on the Trinity we have seen a variety of "social" models of the Trinity. By contrast there are few "non-­‐social" models. One prominent "non-­‐social" view is Brian Leftow's "Latin Trinity." I argue that the name of Leftow's model is not sufficiently descriptive in light of diverse models within Latin speaking theology. Next, I develop a new "non-­‐social" model that is inspired by Richard of St. Victor's description of a person in conjunction with my appropriating insights (...) about indexicals from David Kaplan and John Perry. I point out that the copula in tokens of statements like, "I am the Father," is an ambiguous term and when used by a certain divine person a different proposition is affirmed. Central to this model is the claim that the copula bears the "is of identity" and the "is of numerical sameness without identity." Further, I show that Leftow's model employs two concepts of "person," a Lockean one and a Boethian one, and mine employs Richard of St. Victor's. I describe Leftow's model as a "hard non-­‐social" model and mine as a "soft non-­‐social" model that is nearer to some social models. I conclude that Leftow's model is not the lone candidate among "non-­‐social" models and that the variety of "non-­‐social" models has yet to be exhausted. (shrink)

Diese Sammelrezension sondiert philosophische Perspektiven auf politische Affektivität. Judith Mohrmann knüpft in Affekt und Revolution an Arendt und Kant an, um ein »theatrales« Modell der wechselseitigen Bestimmung von Affekt und Politik zu skizzieren. Martha Nussbaum ergänzt in Politische Emotionen ihren politischen Liberalismus mit einem Verständnis öffentlich inszenierter Emotionen, die zur Akzeptanz der Werte liberaldemokratischer Gemeinwesen beitragen sollen. Eine andere Richtung schlagen Brian Massumi (Politics of Affect) und John Protevi (Political Affect) ein, wenn sie im Anschluss an Spinoza und (...) Deleuze die politischen Potenziale transindividueller affektiver Dynamiken ausloten. In dieser Perspektive sind Affekte politisch, weil sie politische Subjekte hervorbringen und deren Einstellungen, Wahrnehmungen und Gewohnheiten prägen. Im letzten Abschnitt wird eine Programmatik philosophischer Affekt- und Emotionsforschung in politischer Orientierung umrissen. (shrink)

We enjoy immediate knowledge of our own limbs and bodies. I argue that this knowledge, which is also called proprioception, is a special form of perception, special in that it is, unlike perception by the external senses, at the same time also a form of genuine self-knowledge. The argument has two parts. Negatively, I argue against the view, held by G. E. M. Anscombe and strengthened by John McDowell, that this knowledge, bodily self-knowledge, is non-perceptual. This involves, inter alia, (...) rescuing from McDowell’s attack the very idea of receptive self-knowledge. On the positive side, I develop, by drawing on the work of Brian O’Shaughnessy, a detailed account of bodily self-knowledge as a special form of perception. This account spells out how this special form of perception is epistemologically mediated by sensations of a special class of primary qualities—vital-dynamic sensations as I call them—in one’s limbs. (shrink)

Friendship is an important part of the good life. While many roboticists are eager to create friend-like robots, many philosophers and ethicists are concerned. They argue that robots cannot really be our friends. Robots can only fake the emotional and behavioural cues we associate with friendship. Consequently, we should resist the drive to create robot friends. In this article, I argue that the philosophical critics are wrong. Using the classic virtue-ideal of friendship, I argue that robots can plausibly be considered (...) our virtue friends - that to do so is philosophically reasonable. Furthermore, I argue that even if you do not think that robots can be our virtue friends, they can fulfil other important friendship roles, and can complement and enhance the virtue friendships between human beings. (shrink)

*This work is no longer under development* Two major themes in the literature on indicative conditionals are that the content of indicative conditionals typically depends on what is known;1 that conditionals are intimately related to conditional probabilities.2 In possible world semantics for counterfactual conditionals, a standard assumption is that conditionals whose antecedents are metaphysically impossible are vacuously true.3 This aspect has recently been brought to the fore, and defended by Tim Williamson, who uses it in to characterize alethic necessity by (...) exploiting such equivalences as: A⇔¬A A. One might wish to postulate an analogous connection for indicative conditionals, with indicatives whose antecedents are epistemically impossible being vacuously true: and indeed, the modal account of indicative conditionals of Brian Weatherson has exactly this feature.4 This allows one to characterize an epistemic modal by the equivalence A⇔¬A→A. For simplicity, in what follows we write A as KA and think of it as expressing that subject S knows that A.5 The connection to probability has received much attention. Stalnaker suggested, as a way of articulating the ‘Ramsey Test’, the following very general schema for indicative conditionals relative to some probability function P: P = P 1For example, Nolan ; Weatherson ; Gillies. 2For example Stalnaker ; McGee ; Adams. 3Lewis. See Nolan for criticism. 4‘epistemically possible’ here means incompatible with what is known. 5This idea was suggested to me in conversation by John Hawthorne. I do not know of it being explored in print. The plausibility of this characterization will depend on the exact sense of ‘epistemically possible’ in play—if it is compatibility with what a single subject knows, then can be read ‘the relevant subject knows that p’. If it is more delicately formulated, we might be able to read as the epistemic modal ‘must’. (shrink)

Philosophy and Memory Traces defends two theories of autobiographical memory. One is a bewildering historical view of memories as dynamic patterns in fleeting animal spirits, nervous fluids which rummaged through the pores of brain and body. The other is new connectionism, in which memories are 'stored' only superpositionally, and reconstructed rather than reproduced. Both models, argues John Sutton, depart from static archival metaphors by employing distributed representation, which brings interference and confusion between memory traces. Both raise urgent issues about (...) control of the personal past, and about relations between self and body. Sutton demonstrates the role of bizarre body fluids in moral physiology, as philosophers from Descartes and Locke to Coleridge struggled to control their own innards and impose cognitive discipline on 'the phantasmal chaos of association'. Going on to defend connectionism against Fodor and critics of passive mental representations, he shows how problems of the self are implicated in cognitive science. (shrink)

A collection of articles on the the principles of social justice from an Australian Catholic perspective. Contents: Forward (Archbishop Philip Wilson), Introduction (James Franklin), The right to life (James Franklin), The right to serve and worship God in public and private (John Sharpe), The right to religious formation (Richard Rymarz), The right to personal liberty under just law (Michael Casey), The right to equal protection of just law regardless of sex, nationality, colour or creed (Sam Gregg), The right to (...) freedom of expression (Damian Grace), The right to choose and freely maintain a state of life, married or single, lay or religious (Marita Winters), The right to education (Anthony Cleary), The right to petition government for the redress of grievances (Paul Russell), The right to a nationality (Andrew Hamilton), The right to have access to the means of livelihood, by migration when necessary (Brenda Hubber), The right of association and peaceful assembly (Michael Hogan), The right to work and choose one's occupation (Ian Blandthorn), The right to personal ownership, use and disposal of property subject to the right of others (Brian Coman), The right to a living wage (Garrick Small), The right to collective bargaining (Keith Harvey), The right to associate by industries and professions to obtain economic justice (Henrik Jurisevic), The right to assistance from society, if necessary from the State, in distress of persons and family (Catherine Althaus), Afterword (James Franklin). (shrink)

In July 2014, the roboticist Ronald Arkin suggested that child sex robots could be used to treat those with paedophilic predilections in the same way that methadone is used to treat heroin addicts. Taking this onboard, it would seem that there is reason to experiment with the regulation of this technology. But most people seem to disagree with this idea, with legal authorities in both the UK and US taking steps to outlaw such devices. In this paper, I subject these (...) different regulatory attitudes to critical scrutiny. In doing so, I make three main contributions to the debate. First, I present a framework for thinking about the regulatory options that we confront when dealing with child sex robots. Second, I argue that there is a prima facie case for restrictive regulation, but that this is contingent on whether Arkin’s hypothesis has a reasonable prospect of being successfully tested. Third, I argue that Arkin’s hypothesis probably does not have a reasonable prospect of being successfully tested. Consequently, we should proceed with utmost caution when it comes to this technology. (shrink)

Since the publication of Kenneth Howard’s 2017 article, “The Religion Singularity: A Demographic Crisis Destabilizing and Transforming Institutional Christianity,” there has been an increasing demand to understand the root causes and historical foundations for why institutional Christianity is in a state of de-institutionalization. In response to Howard’s research, a number of authors have sought to provide a contextual explanation for why the religion singularity is currently happening, including studies in epistemology, church history, psychology, anthropology, and church ministry. The purpose of (...) this article is to offer a brief survey and response to these interactions with Howard’s research, identifying the overall implications of each researcher’s perspective for understanding the religion singularity phenomenon. It explores factors relating to denominational switching in Jeshua Branch’s research, social memory in John Lingelbach’s essay, religious politics in Kevin Seybold’s survey, scientific reductionism in Jack David Eller’s position paper, and institutional moral failure in Brian McLaren’s article. (shrink)

This Thesis engages with contemporary philosophical controversies about the nature of dispositional properties or powers and the relationship they have to their non-dispositional counterparts. The focus concerns fundamentality. In particular, I seek to answer the question, ‘What fundamental properties suffice to account for the manifest world?’ The answer I defend is that fundamental categorical properties need not be invoked in order to derive a viable explanation for the manifest world. My stance is a field-theoretic view which describes the world as (...) a single system comprised of pure power, and involves the further contention that ‘pure power’ should not be interpreted as ‘purely dispositional’, if dispositionality means potentiality, possibility or otherwise unmanifested power or ability bestowed upon some bearer. The theoretical positions examined include David Armstrong’s Categoricalism, Sydney Shoemaker’s Causal Theory of Properties, Brian Ellis’s New Essentialism, Ullin Place’s Conceptualism, Charles Martin’s and John Heil’s Identity Theory of Properties and Rom Harré’s Theory of Causal Powers. The central concern of this Thesis is to examine reasons for holding a pure-power theory, and to defend such a stance. This involves two tasks. The first requires explaining what plays the substance role in a pure-power world. This Thesis argues that fundamental power, although not categorical, can be considered ontologically-robust and thus able to fulfil the substance role. A second task—answering the challenge put forward by Richard Swinburne and thereafter replicated in various neo-Swinburne arguments—concerns how the manifestly qualitative world can be explained starting from a pure-power base. The Light-like Network Account is put forward in an attempt to show how the manifest world can be derived from fundamental pure power. (shrink)

Cognitivism in respect to the arts refers to a constellation of positions that share in common the idea that artworks often bear, in addition to aesthetic value, a significant kind of cognitive value. In this paper I concentrate on three things: (i) the challenge of understanding exactly what one must do if one wishes to defend a cognitivist view of the arts; (ii) common anti-cognitivist arguments; and (iii) promising recent attempts to defend cognitivism.

Preview: /Review: Brian S. Dixon, Dewey and Design: A Pragmatist Perspective for Design Research, 200 pages./ Brian S. Dixon’s book Dewey and Design provides, as the book’s subtitle declaims, a pragmatist perspective for design research. Design research is an academic field that specifically deals with the design process. Its domain-specific knowledge led to the establishment of design as an independent discipline of study in the second half of the last century. According to Dixon’s description, design research consists of (...) three major areas of investigation: the design process, the artifacts that result from this process, and the relation of these artifacts with the end-user. Dixon exposes the fruitlessness of drawing a clear dividing line, and argues that design research would be better off as a continuous, not necessarily linear, process involving “practically” all three. Concurrently, the author emphasizes the practical aspect of this continuity; on the one hand as a stark contrast to the idea of ​​purely theoretical research, on the other, from a pragmatist viewpoint, intending the knowledge of the world as full of the practical consequences of acting within it. Specifically, the pragmatist slant of Dixon’s proposal is that of John Dewey, centered on the ideas of “an experience,” “inquiry,” and “imagination”; notions aiming at providing “a robust epistemological narrative” for design research. The choice of this perspective necessarily leads Dixon to deal with problems such as the ontology of the specifically creative act of designers, distinct from the artistic one, the communicative potential of industrial artifacts, and their ethical import. (shrink)

This paper briefly describes process metaphysics, and argues that it is better suited for describing life than the more standard thing, or substance, metaphysics. It then explores the implications of process metaphysics for conceptualizing evolution. After explaining what it is for an organism to be a process, the paper takes up the Hull/Ghiselin thesis of species as individuals and explores the conditions under which a species or lineage could constitute an individual process. It is argued that only sexual species satisfy (...) these conditions, and that within sexual species the degree of organization varies. This, in turn, has important implications for species' evolvability. One important moral is that evolution will work differently in different biological domains. (shrink)

Time in electromagnetism shares many features with time in other physical theories. But there is one aspect of electromagnetism's relationship with time that has always been controversial, yet has not always attracted the limelight it deserves: the electromagnetic arrow of time. Beginning with a re-analysis of a famous argument between Ritz and Einstein over the origins of the radiation arrow, this chapter frames the debate between modern Einsteinians and neo-Ritzians. It tries to find a clean statement of what the arrow (...) is and then explains how it relates to the cosmological and thermodynamic arrows, representing the most developed and sophisticated attack yet, in either the physics or philosophy literature, on the electromagnetic arrow of time. (shrink)

The syllogistic figures and moods can be taken to be argument schemata as can the rules of the Stoic propositional logic. Sentence schemata have been used in axiomatizations of logic only since the landmark 1927 von Neumann paper [31]. Modern philosophers know the role of schemata in explications of the semantic conception of truth through Tarski’s 1933 Convention T [42]. Mathematical logicians recognize the role of schemata in first-order number theory where Peano’s second-order Induction Axiom is approximated by Herbrand’s Induction-Axiom (...) Schema [23]. Similarly, in first-order set theory, Zermelo’s second-order Separation Axiom is approximated by Fraenkel’s first-order Separation Schema [17]. In some of several closely related senses, a schema is a complex system having multiple components one of which is a template-text or scheme-template, a syntactic string composed of one or more “blanks” and also possibly significant words and/or symbols. In accordance with a side condition the template-text of a schema is used as a “template” to specify a multitude, often infinite, of linguistic expressions such as phrases, sentences, or argument-texts, called instances of the schema. The side condition is a second component. The collection of instances may but need not be regarded as a third component. The instances are almost always considered to come from a previously identified language (whether formal or natural), which is often considered to be another component. This article reviews the often-conflicting uses of the expressions ‘schema’ and ‘scheme’ in the literature of logic. It discusses the different definitions presupposed by those uses. And it examines the ontological and epistemic presuppositions circumvented or mooted by the use of schemata, as well as the ontological and epistemic presuppositions engendered by their use. In short, this paper is an introduction to the history and philosophy of schemata. (shrink)

In the present article we attempt to show that Aristotle's syllogistic is an underlying logiC which includes a natural deductive system and that it isn't an axiomatic theory as had previously been thought. We construct a mathematical model which reflects certain structural aspects of Aristotle's logic. We examine the relation of the model to the system of logic envisaged in scattered parts of Prior and Posterior Analytics. Our interpretation restores Aristotle's reputation as a logician of consummate imagination and skill. Several (...) attributions of shortcomings and logical errors to Aristotle are shown to be without merit. Aristotle's logic is found to be self-sufficient in several senses: his theory of deduction is logically sound in every detail. (His indirect deductions have been criticized, but incorrectly on our account.) Aristotle's logic presupposes no other logical concepts, not even those of propositional logic. The Aristotelian system is seen to be complete in the sense that every valid argument expressible in his system admits of a deduction within his deductive system: every semantically valid argument is deducible. (shrink)

‘The problem with simulations is that they are doomed to succeed.’ So runs a common criticism of simulations—that they can be used to ‘prove’ anything and are thus of little or no scientific value. While this particular objection represents a minority view, especially among those who work with simulations in a scientific context, it raises a difficult question: what standards should we use to differentiate a simulation that fails from one that succeeds? In this paper we build on a structural (...) analysis of simulation developed in previous work to provide an evaluative account of the variety of ways in which simulations do fail. We expand the structural analysis in terms of the relationship between a simulation and its real-world target emphasizing the important role of aspects intended to correspond and also those specifically intended not to correspond to reality. The result is an outline both of the ways in which simulations can fail and the scientific importance of those various forms of failure. (shrink)

A philosophical analysis of different kinds of memory used in the film Memento.

ABSTRACT Drawing inspiration from Fred Dretske, L. S. Carrier, John A. Barker, and Robert Nozick, we develop a tracking analysis of knowing according to which a true belief constitutes knowledge if and only if it is based on reasons that are sensitive to the fact that makes it true, that is, reasons that wouldn’t obtain if the belief weren’t true. We show that our sensitivity analysis handles numerous Gettier-type cases and lottery problems, blocks pathways leading to skepticism, and validates (...) the epistemic closure thesis that correct inferences from known premises yield knowledge of the conclusions. We discuss the plausible views of Ted Warfield and Branden Fitelson regarding cases of knowledge acquired via inference from false premises, and we show how our sensitivity analysis can account for such cases. We present arguments designed to discredit putative counterexamples to sensitivity analyses recently proffered by Tristan Haze, John Williams and Neil Sinhababu, which involve true statements made by untrustworthy informants and strange clocks that sometimes display the correct time while running backwards. Finally, we show that in virtue of employing the paradox-free subjunctive conditionals codified by Relevance Logic theorists instead of the paradox-laden subjunctive conditionals codified by Robert Stalnaker and David Lewis. (shrink)

In discussions of practical reason we often encounter the view that a fact is a reason for an agent to act only if the fact is capable of moving the agent to act. This view figures centrally in many philosophical controversies, and while taken for granted by some, it is vigorously disputed by others. In this essay I show that if the disputed position is correctly interpreted, it is well armored against stock objections and implied by a premise that is (...) not only plausible, but generally accepted by the position's critics. (shrink)

These remarks take up the reflexive problematics of Being and Nothingness and related texts from a metalogical perspective. A mutually illuminating translation is posited between, on the one hand, Sartre’s theory of pure reflection, the linchpin of the works of Sartre’s early period and the site of their greatest difficulties, and, on the other hand, the quasi-formalism of diagonalization, the engine of the classical theorems of Cantor, Gödel, Tarski, Turing, etc. Surprisingly, the dialectic of mathematical logic from its inception through (...) the discovery of the diagonal theorems can be recognized as a particularly clear instance of the drama of reflection according to Sartre, especially in the positing and overcoming of its proper value-ideal, viz. the synthesis of consistency and completeness. Conversely, this translation solves a number of systematic problems about pure reflection’s relations to accessory reflection, phenomenological reflection, pre-reflective self-consciousness, conversion, and value. Negative foundations, the metaphysical position emerging from this translation between existential philosophy and metalogic, concurs by different paths with Badiou’s Being and Event in rejecting both ontotheological foundationalisms and constructivist antifoundationalisms. (shrink)

Un aspecto poco estudiado del argumento de Michael Sandel en contra del carácter neutral de la justicia como equidad, es el modo en que funda sus conclusiones en el entendimiento que tiene de otros tres aspectos de la concepción rawlsiana de justicia: su carácter deontológico, el equilibrio reflexivo, y la posición original. Nuestro objetivo es mostrar que Sandel no ha cometido cuatro errores independientes, sino que poseer un entendimiento equivocado del carácter deontológico de la teoría lo ha llevado a caracterizar (...) mal en qué consiste el equilibrio reflexivo y esto -finalmente- lo ha conducido a una errónea interpretación de lo que se encuentra modelado en la posición original y -en última instancia- a sostener la falta de neutralidad de la concepción de justicia. Concentrarnos en este asunto nos permitirá apreciar cómo se articulan y complementan las distintas réplicas que Brian Barry, Samuel Freeman y el mismo John Rawls han dirigido contra Sandel. One aspect of Michael Sandel´s argument against the neutral character of justice as fairness on which little research has been done is the way in which he founds his conclusions on the basis of the understanding he has about three other aspects of the Rawlsian conception of justice: its deontological character, the reflective equilibrium and the original position. It is my aim to prove that Sandel has not made four independent mistakes but, on the contrary, to have a wrong understanding of the deontological character of the theory has driven him to a wrong characterization of what the reflective equilibrium consists of and this, in turn, has taken him to a wrong interpretation of what is modelled in the original position and, at large, to hold the idea that justice as fairness lacks neutrality. Focusing on this issue will allow us to appreciate how the different responses made by Brian Barry, Samuel Freeman and John Rawls himself against Sandel are articulated and complement one another. (shrink)

In a recent very interesting and important challenge to tracking theories of knowledge, Williams & Sinhababu claim to have devised a counter-example to tracking theories of knowledge of a sort that escapes the defense of those theories by Adams & Clarke. In this paper we will explain why this is not true. Tracking theories are not undermined by the example of the backward clock, as interesting as the case is.

Psikoloji, nörobiyoloji, felsefe ve diğer pek çok disiplinde benliğe ilişkin çok sayıda farklı problemler var. Nörobiyolojide, çalışılan benlik problemlerinin pek çoğunun patolojinin çeşitli formlarıyla ilgili olduğu izlenimine sahibim –dürüstlükteki sorunlar, tutarlılık veya benliğin işlevi. Bu patolojiler hakkında söyleyecek hiçbir şeyim yok çünkü neredeyse onlar hakkında hiçbir şey bilmiyorum. Ben bu patolojilere yalnızca ayrık-beyin hastaları gibi doğrudan benliğin problemleriyle ilgiliyseler değineceğim.

Reid, Constance. Hilbert (a Biography). Reviewed by Corcoran in Philosophy of Science 39 (1972), 106–08. -/- Constance Reid was an insider of the Berkeley-Stanford logic circle. Her San Francisco home was in Ashbury Heights near the homes of logicians such as Dana Scott and John Corcoran. Her sister Julia Robinson was one of the top mathematical logicians of her generation, as was Julia’s husband Raphael Robinson for whom Robinson Arithmetic was named. Julia was a Tarski PhD and, in recognition (...) of a distinguished career, was elected President of the American Mathematics Society. https://en.wikipedia.org/wiki/Julia_Robinson http://www.awm-math.org/noetherbrochure/Robinson82.html. (shrink)